gnome-shell.css: specify font size for overview view selector area

Previously this was inheriting the default size, which is specified in
pts, and so would make the text larger than its 16px containing box if
you have high DPI.

https://bugzilla.gnome.org/show_bug.cgi?id=639213

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b1cfe64447f7d0609e1ca2b2f1a1884e2c5f8221..344692af771085c078e3312143b38d1e24a7df59 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -338,6 +338,7 @@ StTooltip StLabel {
 
 #viewSelector {
     spacing: 16px;
+    font-size: 16px;
 }
 
 #viewSelectorTabBar {